#include <arch/syscall.h>
#include <syscall/bt_syscall.h>

BT_SYSCALL0(getpid)
BT_SYSCALL0(getpid2)
